$\forall$$i$, $x$:Id, $T$:Type, $L$:Knd List. Normal($T$) $\Rightarrow$ $\vdash$${\it es}$.@$i$ only events in $L$ change   $x$ : $T$